"Franz Baader" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings (Lecture Notes in Artificial Intelligence 2741)

Franz Baader

4.62 Mb

#2

The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader (editor), Diego Calvanese (editor), Deborah L. McGuinness (editor), Daniele Nardi (editor), Peter F. Patel-Schneider (editor)

5.10 Mb

#3

Term Rewriting and All That

Franz Baader, Tobias Nipkow

2.19 Mb

#4

The description logic handbook: Theory, implementation and applications

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider

Категория: Computer science, AI, knowledge

2.20 Mb

#5

Term rewriting and all that

Franz Baader, Tobias Nipkow

Категория: Cs_Computer science, CsAl_Algorithms

2.40 Mb

#6

Term Rewriting and Applications, 18 conf., RTA 2007

Категория: Cs_Computer science, CsLn_Lecture notes

4.02 Mb

#7

The Description Logic Handbook

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider

Категория: Academic books, Theology

4.19 Mb

#8

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Franz Baader

5.72 Mb

#9

KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

Franz Baader, Gerhard Brewka, Thomas Eiter

4.09 Mb

#10

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader, Andrei Voronkov

5.17 Mb